Nuprl Definition : mkfpf
11,40
postcript
pdf
mkfpf(
a
;
b
) == <
a
,
b
>
latex
FDL editor aliases
mkfpf
origin